Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
891	TIP #401: Comment Words with Leading # _____________________________________________________________________________ TIP: 401 Title: Comment Words with Leading # Version: $Revision: 1.5 $ Authors: Lars Hellström Add to Reading List Source URL: www.tcl.tk Language: English Scripting languages Source code Formal languages Data types Tcl Cross-platform software Expect Foreach loop Uplevel Computing Software engineering Computer programming
892	ML-Yacc User’s Manual Version 2.4 David R. Tarditi1 Andrew W. Appel2 1 Add to Reading List Source URL: mlton.org Language: English - Date: 2014-02-17 13:56:37 Compiler construction Formal languages Parsing Compiling tools Parser generators LALR parser LR parser Lookahead Yacc Programming language implementation Software engineering Computing
893	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-08-12 12:15:34 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
894	The Definitive ANTLR 4 Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-09-15 16:49:04 Formal languages Computing Compiler construction Top-down parsing Lookahead ANTLR Left recursion Recursive descent parser LR parser Programming language implementation Parsing Software engineering
895	Package ‘Biostrings’ April 19, 2015 Title String objects representing biological sequences, and matching algorithms Description Memory efficient string containers, string matching algorithms, and other utilities, for Add to Reading List Source URL: www.bioconductor.org Language: English - Date: 2015-04-21 14:53:56 Software engineering Elementary mathematics Bioinformatics String Computational phylogenetics Regular expression Test Sequence alignment Substring Mathematics Computing Formal languages
896	TIP #407: The String Representation of Tcl Lists: the Gory Details _____________________________________________________________________________ TIP: 407 Title: The String Representation of Tcl Lists: the Gory Details Ve Add to Reading List Source URL: www.tcl.tk Language: English Pattern matching Formal languages Control characters String Tcl Regular expression Trimming Escape character Bracket Computing Software engineering Computer programming
897	1 Monadic Parser Combinators Graham Hutton University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-04-05 05:58:42 Parsing Adjoint functors Computer programming Computing Parser combinator Monad Recursive descent parser Compiler-compiler Combinatory logic Functional programming Formal languages Software engineering
898	Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description)∗ Jasmin Christian Blanchette Technische Universität München Garching, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical logic Model theory Formal languages Formal methods Logical syntax Structure Isabelle Logic programming Automated theorem proving Mathematics Logic Metalogic
899	Joseph MuscatLogic Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2014-08-12 07:28:59 Propositional calculus Logical truth Formal languages Philosophy of language Substitution Symbol Function Proposition Linear temporal logic Logic Mathematics Mathematical logic
900	Vol. 6, No. 9, Special Issue: TOOLS EUROPE 2007, 2007 Reuseware – Adding Modularity to Your Language of Choice Jakob Henriksson Fakultät für Informatik, Technische Universität Dresden Jendrik Johannes Fakultät fü Add to Reading List Source URL: steffen-zschaler.de Language: English - Date: 2007-09-26 05:15:48 Formal languages Aspect-oriented software development Computer languages Compiler construction Philosophy of language Context-free grammar Programming language Aspect-oriented programming SQL Computing Software development Software engineering

UPDATE